<?php

/**
 * @var int $a
 */
$a;

$b = 1;
